\begin{tabbing}
$\forall$$R$:es\_realizer\{i:l\}, $P$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$).
\\[0ex]R{-}Feasible\=\{i:l\}\+
\\[0ex]($R$)
\-\\[0ex]$\Rightarrow$ d{-}realizes\=\{i:l\}\+
\\[0ex]([[$R$]]; ${\it es}$.$P$(${\it es}$))
\-\\[0ex]$\Rightarrow$ ($\forall$${\it es}$:ES\{i\}. R{-}possible\{i:l\}($R$; ${\it es}$) $\Rightarrow$ $P$(${\it es}$))
\end{tabbing}